Practice theory

Results: 2602



#Item
91Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden  25 Years of Combining Compositionality and Concurrency

Model-Based Testing: From Theory to Practice and Back Mohammad Mousavi Halmstad University, Sweden 25 Years of Combining Compositionality and Concurrency

Add to Reading List

Source URL: www.ips.tu-braunschweig.de

- Date: 2013-08-13 02:41:32
    92Under consideration for publication in Theory and Practice of Logic Programming  1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

    Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2012-06-27 10:05:03
      93Historical Performance: Theory, Practice, and Interdisciplinarity A conference hosted by the Historical Performance Institute of the Indiana University Jacobs School of Music with support from the IU New Frontiers in the

      Historical Performance: Theory, Practice, and Interdisciplinarity A conference hosted by the Historical Performance Institute of the Indiana University Jacobs School of Music with support from the IU New Frontiers in the

      Add to Reading List

      Source URL: music.indiana.edu

      - Date: 2016-07-15 10:29:15
        94Contents  i The Theory and Practice of Concurrency

        Contents i The Theory and Practice of Concurrency

        Add to Reading List

        Source URL: www.cs.ox.ac.uk

        - Date: 2005-04-27 07:29:54
          95On the Lindell-Pinkas Secure Computation of Logarithms: From Theory to Practice Raphael S. Ryger∗ Onur Kardes†

          On the Lindell-Pinkas Secure Computation of Logarithms: From Theory to Practice Raphael S. Ryger∗ Onur Kardes†

          Add to Reading List

          Source URL: www.csee.umbc.edu

          - Date: 2008-02-15 00:34:08
            96MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

            MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

            Add to Reading List

            Source URL: is.ieis.tue.nl

            - Date: 2012-05-24 07:58:19
              97From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System Shumo Chu, Magdalena Balazinska, Dan Suciu Computer Science and Engineering, University of Washington Seattle, Washington, USA

              From Theory to Practice: Efficient Join Query Evaluation in a Parallel Database System Shumo Chu, Magdalena Balazinska, Dan Suciu Computer Science and Engineering, University of Washington Seattle, Washington, USA

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2015-03-31 00:37:38
                98Economic Forecasting in Theory and Practice: An Interview with David F. Hendry

                Economic Forecasting in Theory and Practice: An Interview with David F. Hendry

                Add to Reading List

                Source URL: www.federalreserve.gov

                - Date: 2016-11-16 10:30:33
                  99Machine Translation: Theory and Practice ........................................................................................................................................…………………. Overview There are s

                  Machine Translation: Theory and Practice ........................................................................................................................................…………………. Overview There are s

                  Add to Reading List

                  Source URL: www.iitbhu.ac.in

                  - Date: 2016-10-25 01:41:34
                    100Under consideration for publication in Theory and Practice of Logic Programming  1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Under consideration for publication in Theory and Practice of Logic Programming 1 D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming

                    Add to Reading List

                    Source URL: dbai.tuwien.ac.at

                    - Date: 2013-06-20 14:18:41